program proof перевод

• доказательство правильности программы

• program:    1) программа Ex: party program программа партии Ex: political program политическая программа Ex: theatre program театральная программа2) _комп. программа Ex: support program служебная программа, всп
• proof:    1) доказательство; подтверждение Ex: proof positive неопровержимое доказательство Ex: documentary proof, proof by documentary evidence документальное доказательство Ex: to give proofs представить до
• formal program proof:    формальное доказательство правильности программы
• -proof:    pru:f второй компонент сложных слов со значением: не поддающийся действию того, устойчивый к тому, что выражено первым компонентом bullet(-)proof — пуленепробиваемый rain-proof — непромокаемый, водо
• proof of will:    доказывание завещания
• proof-proof:    равносильное контр-доказательство, доказательство против доказательства
• by a program:    по алгоритму
• program in:    закладывать (какую-л. функцию в систему) в виде программы
• a priori proof:    мат. априорное доказательство
• abrasion-proof:    стойкий к истиранию или износу; трудношлифуемый
• abridged proof:    мат. набросок доказательства
• absolute proof:    несомненное доказательство
• abstract proof:    мат. абстрактное доказательство
• acid proof:    кислотоупорный
• acid-proof:    1) кислотоупорный, кислотостойкий